An Approach for Management of Regional Portal Sites through Project-Based Learning

In this paper, we present an approach for management of regional portal sites through project-based learning. In this approach, we have developed a framework to regularly provide information systems and contents based on needs of regional communities for the regional portal site by developing them on the project-based learning in our university. The waterfall model that is one of the software development techniques as the method of executing the project-based learning is practiced. This paper shows current status and effectiveness of our approach

Shape-based cost analysis of skeletal parallel programs

Institute for Computing Systems ArchitectureThis work presents an automatic cost-analysis system for an implicitly parallel skeletal programming language. Although deducing interesting dynamic characteristics of parallel programs (and in particular, run time) is well known to be an intractable problem in the general case, it can be alleviated by placing restrictions upon the programs which can be expressed. By combining two research threads, the “skeletal” and “shapely” paradigms which take this route, we produce a completely automated, computation and communication sensitive cost analysis system. This builds on earlier work in the area by quantifying communication as well as computation costs, with the former being derived for the Bulk Synchronous Parallel (BSP) model. We present details of our shapely skeletal language and its BSP implementation strategy together with an account of the analysis mechanism by which program behaviour information (such as shape and cost) is statically deduced. This information can be used at compile-time to optimise a BSP implementation and to analyse computation and communication costs. The analysis has been implemented in Haskell. We consider different algorithms expressed in our language for some example problems and illustrate each BSP implementation, contrasting the analysis of their efficiency by traditional, intuitive methods with that achieved by our cost calculator. The accuracy of cost predictions by our cost calculator against the run time of real parallel programs is tested experimentally. Previous shape-based cost analysis required all elements of a vector (our nestable bulk data structure) to have the same shape. We partially relax this strict requirement on data structure regularity by introducing new shape expressions in our analysis framework. We demonstrate that this allows us to achieve the first automated analysis of a complete derivation, the well known maximum segment sum algorithm of Skillicorn and Cai

Study of the Large-scale Temperature Structure of the Perseus Cluster with Suzaku

We report on a study of the large-scale temperature structure of the Perseus cluster with Suzaku, using the observational data of four pointings of 30' offset regions, together with the data from the central region. Thanks to the Hard X-ray Detector (HXD-PIN: 10 - 60 keV), Suzaku can determine the temperature of hot galaxy clusters. We performed the spectral analysis, by considering the temperature structure and the collimator response of the PIN correctly. As a result, we found that the upper limit of the temperature in the outer region is $\sim$ 14 keV, and an extremely hot gas, which was reported for RXJ 1347.5-1145 and A 3667, was not found in the Perseus cluster. This indicates that the Perseus cluster has not recently experienced a major merger.Comment: 17 pages, 25 figures, accepted for Publications of the Astronomical Society of Japan, references adde

Constraining the binarity of black hole candidates: a proof-of-concept study of Gaia BH1 and Gaia BH2

Nearly a hundred of binary black holes (BBHs) have been discovered with gravitational-wave signals emitted at their merging events. Thus, it is quite natural to expect that significantly more abundant BBHs with wider separations remain undetected in the universe, or even in our Galaxy. We consider a possibility that star-BH binary candidates may indeed host an inner BBH, instead of a single BH. We present a detailed feasibility study of constraining the binarity of the currently available two targets, Gaia BH1 and Gaia BH2. Specifically, we examine three types of radial velocity (RV) modulations of a tertiary star in star-BBH triple systems; short-term RV modulations induced by the inner BBH, long-term RV modulations induced by the nodal precession, and long-term RV modulations induced by the von Zeipel-Kozai-Lidov oscillations. Direct three-body simulations combined with approximate analytic models reveal that Gaia BH1 system may exhibit observable signatures of the hidden inner BBH if it exists at all. The methodology that we examine here is quite generic, and is expected to be readily applicable to future star-BH binary candidates in a straightforward manner.Comment: 19 pages, 10 figures, 1 table, submitted to Ap